An Index Theorem for Lorentzian Manifolds with Compact Spacelike Cauchy Boundary
نویسندگان
چکیده
We show that the Dirac operator on a compact globally hyperbolic Lorentzian spacetime with spacelike Cauchy boundary is a Fredholm operator if appropriate boundary conditions are imposed. We prove that the index of this operator is given by the same expression as in the index formula of Atiyah-Patodi-Singer for Riemannian manifolds with boundary. The index is also shown to equal that of a certain operator constructed from the evolution operator and a spectral projection on the boundary. In case the metric is of product type near the boundary a Feynman parametrix is constructed.
منابع مشابه
Conformal boundary extensions of Lorentzian manifolds
We study the question of local and global uniqueness of completions, based on null geodesics, of Lorentzian manifolds. We show local uniqueness of such boundary extensions. We give a necessary and sufficient condition for existence of unique maximal completions. The condition is verified in several situations of interest. This leads to existence and uniqueness of maximal spacelike conformal bou...
متن کاملOn null-geodesic completions of Lorentzian manifolds
We study the question of local and global uniqueness of completions, based on null geodesics, of Lorentzian manifolds. We show local uniqueness of such boundary extensions. We give a necessary and sufficient condition for existence of unique maximal completions. The condition is verified in several situations of interest. This leads to existence and uniqueness of maximal spacelike conformal bou...
متن کاملSpacelike hypersurfaces in Riemannian or Lorentzian space forms satisfying L_k(x)=Ax+b
We study connected orientable spacelike hypersurfaces $x:M^{n}rightarrowM_q^{n+1}(c)$, isometrically immersed into the Riemannian or Lorentzian space form of curvature $c=-1,0,1$, and index $q=0,1$, satisfying the condition $~L_kx=Ax+b$,~ where $L_k$ is the $textit{linearized operator}$ of the $(k+1)$-th mean curvature $H_{k+1}$ of the hypersurface for a fixed integer $0leq k
متن کاملA note on the extendability of compact hypersurfaces to smooth Cauchy hypersurfaces
Given a globally hyperbolic spacetime, the existence of a (smooth) spacelike Cauchy hypersurface S has been proven recently. Here, we prove that any acausal spacelike compact submanifold with boundary can be smoothly extended to a spacelike Cauchy hypersurface. Apart from the interest as a purely geometric question (applicable to the Cauchy problem in General Relativity), the result is motivate...
متن کاملQuantum field theory in Lorentzian universes from nothing.
We examine quantum field theory in spacetimes that are time nonorientable but have no other causal pathology. These are Lorentzian universesfrom-nothing, spacetimes with a single spacelike boundary that nevertheless have a smooth Lorentzian metric. A time-nonorientable, spacelike hypersurface serves as a generalized Cauchy surface, a surface on which freely specified initial data for wave equat...
متن کامل